| 翻訳と辞書 |
ACM SIGLOG
ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (''SIGLOG News''), and has the annual Symposium on Logic in Computer Science as its flagship conference.〔.〕 In addition, it publishes an online newsletter, the ''SIGLOG Monthly Bulletin'' (formerly the ''LICS Newsletter''),〔.〕 and "maintains close ties" with the related academic journal ''ACM Transactions on Computational Logic''.〔, accessed 2015-08-13.〕
The creation of this special interest group was suggested in 2007 by Moshe Vardi and Dana Scott, and Vardi was the primary author of a more detailed proposal for its creation. It was founded in 2014, with Prakash Panangaden as its founding chair, and with Andrzej Murawski as the founding editor of the newsletter.〔〔. See in particular (p. 29 ).〕
==References==
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「ACM SIGLOG」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|